退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于smT的无界软件模型检查中的自动抽象
Anvesh Komuravelli; Arie Gurfinkel; Sagar Chaki; Edmund M. Clarke;
机译:SystemC中建模的硬件/软件协同设计的自动分析和抽象
机译:证明辅助的软件和系统模型的有界和无界符号模型检查
机译:结合谓词和数字抽象进行软件模型检查
机译:基于SMT的无界软件模型检查中的自动抽象
机译:模型检查中的自动抽象。
机译:使用伪3D时空模型检查自动验证计算模型
机译:基于smT的无界软件模型检测中的自动抽象
机译:基于SAT的高效无界符号模型检查
机译:软件建模,摘要和分析的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。